Engineering analysis

Results: 16398



#Item
111Array programming / Generic programming / Fourier transform / Computer programming / Analysis / Software engineering / Loop tiling / Multidimensional DSP with GPU Acceleration

Abstracting Vector Architectures in Library Generators: Case Study Convolution Filters Alen Stojanov† † Georg Ofenbeck†

Add to Reading List

Source URL: spiral.ece.cmu.edu

Language: English - Date: 2014-04-30 03:47:54
112Theoretical computer science / Computing / Software engineering / Logic in computer science / Automated theorem proving / Static program analysis / Termination analysis / Rewriting / KeY / Automated reasoning / Bytecode / Christoph Walther

SAT-based Termination Analysis for Java Bytecode with AProVE? Carsten Fuhs LuFG Informatik 2, RWTH Aachen University, Germany

Add to Reading List

Source URL: www.dcs.bbk.ac.uk

Language: English - Date: 2011-06-23 09:19:29
113Statistics / Statistical theory / Software engineering / Error / Measurement / Numerical analysis / Compiler optimizations / Scope / Errors and residuals / Errno.h / Exception handling / Propagation of uncertainty

Error Propagation Analysis for File Systems ∗ Cindy Rubio-González Haryadi S. Gunawi Ben Liblit Remzi H. Arpaci-Dusseau Andrea C. Arpaci-Dusseau

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2014-11-10 23:12:56
114Computing / Software engineering / Computer programming / Java / Object-oriented programming languages / Object-oriented programming / Concurrent programming languages / Cross-platform software / Clone / This / Software design pattern / Method

Locality optimization in JavaParty by means of static type analysis Michael Philippsen and Bernhard Haumacher University of Karlsruhe, Germany and Abstract

Add to Reading List

Source URL: www.haumacher.de

Language: English - Date: 2009-01-31 15:36:07
115Multiple-criteria decision analysis / Operations research / Economy / Business / Engineering / Decision analysis / Decision-making / Potentially all pairwise rankings of all possible alternatives / Measuring Attractiveness by a Categorical Based Evaluation Technique / Sensitivity analysis / European Working Group on Multiple Criteria Decision Aiding / Weighted product model

VALUE IN HEALTH–137 Available online at www.sciencedirect.com journal homepage: www.elsevier.com/locate/jval

Add to Reading List

Source URL: www.ispor.org

Language: English - Date: 2016-04-04 09:08:23
116Engineering / Construction / Real estate / Seismology / Earthquake engineering / Structural engineering / Civil engineering / Structural analysis / Seismic analysis / Accelerometer / Vibration / Earthquake

10NCEE Tenth U.S. National Conference on Earthquake Engineering Frontiers of Earthquake Engineering July 21-25, 2014 Anchorage, Alaska

Add to Reading List

Source URL: eew.caltech.edu

Language: English - Date: 2014-10-14 18:03:08
117Materials science / Casting / Jewellery making / Metallurgy / Ingot / Numerical analysis / Simulation software / Visual arts / Porosity / Finite element method

SIMCADE V.2.0 Solidification and Heat Transfer Simulation Software SOLIDIFICATION AND HEAT TRANSFER SIMULATION SOFTWARE DESIGN, ENGINEERING AND SCIENTIFIC APPLICATIONS

Add to Reading List

Source URL: simcade.com

Language: English - Date: 2013-11-25 08:03:58
118Economy / Business / Engineering / Process management / Manufacturing / Management / Inventory / Lean manufacturing / Hazard analysis and critical control points / Occupational safety and health / Professional certification / European Agency for Safety and Health at Work

WVU Industrial Extension Services Overview The Industrial Extension is housed in the Benjamin Statler College of Engineering and Mineral

Add to Reading List

Source URL: www.wvmep.com

Language: English - Date: 2016-08-08 22:42:12
119Electronic engineering / Computing / Engineering / Electronic design automation / Microprocessors / Central processing unit / Digital electronics / Electronic design / Adder / Propagation delay / Standard cell / Static timing analysis

Proc. Asia South Pacific Design Automation Conf. (ASP-DAC), Shanghai, China, vol. 1, Jan. 2005, pp. I/2-I/7. Opportunities and Challenges for Better Than Worst-Case Design Todd Austin, Valeria Bertacco, David Blaauw, an

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2016-04-03 10:58:13
120Software engineering / Computing / Computer programming / Type theory / Data types / Object-oriented programming / Concurrent programming languages / Type system / Scala / Intent / Type safety / Java

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2015-09-05 00:16:54
UPDATE